Insertion of formalism into systems level design

Society’s increasing dependence on complex technology mandates high assurance of system correctness. Traditional engineering disciplines such as civil or mechanical engineering achieve such assurance through application of mathematics to system modeling. ‘The formal nature of mathematics allows practitioners in traditional engineering domains to predict the behavior of systems prior to implementation. Furthermore, the common feature of engineering disciplines is the application of pragmatic, formal, mathematical models during systems design and analysis,